<html>
<head><meta charset="utf-8"><title>rust minimizers · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html">rust minimizers</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="184966182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184966182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184966182">(Jan 06 2020 at 23:01)</a>:</h4>
<p>are there any tools for minimizing rustc crash reproducers?</p>



<a name="184967181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184967181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184967181">(Jan 06 2020 at 23:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> have you seen <span class="user-mention" data-user-id="116083">@pnkfelix</span>'s post? <a href="https://blog.pnkfx.org/blog/2019/11/18/rust-bug-minimization-patterns/" target="_blank" title="https://blog.pnkfx.org/blog/2019/11/18/rust-bug-minimization-patterns/">https://blog.pnkfx.org/blog/2019/11/18/rust-bug-minimization-patterns/</a></p>



<a name="184967331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184967331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184967331">(Jan 06 2020 at 23:16)</a>:</h4>
<p>ah I forgot, I'd bookmarked that with the intention of reading it at some point <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span></p>



<a name="184967343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184967343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184967343">(Jan 06 2020 at 23:17)</a>:</h4>
<p>I'll look through it; thanks!</p>



<a name="184977798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184977798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184977798">(Jan 07 2020 at 02:49)</a>:</h4>
<p>to be fair, that post does not cover any tools</p>



<a name="184977856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184977856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184977856">(Jan 07 2020 at 02:50)</a>:</h4>
<p>apart from Emacs macros and <code>rustc</code> pretty-printers for automatically rewriting source code in certain ways</p>



<a name="184978208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184978208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184978208">(Jan 07 2020 at 03:00)</a>:</h4>
<p>I've heard that creduce is not terrible, I think</p>



<a name="184978213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184978213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184978213">(Jan 07 2020 at 03:00)</a>:</h4>
<p>(though never actually used it myself)</p>



<a name="184993725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/184993725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#184993725">(Jan 07 2020 at 09:22)</a>:</h4>
<p>I have used both C-Reduce (with mixed success, but it does reduce rust code); and <a href="https://github.com/jethrogb/rust-reduce/" target="_blank" title="https://github.com/jethrogb/rust-reduce/">https://github.com/jethrogb/rust-reduce/</a> with some success to minimize the 13KLOC <code>combine</code> parser combinator library into 100-150 lines or so for the ICE in <a href="https://github.com/rust-lang/rust/issues/67684" target="_blank" title="https://github.com/rust-lang/rust/issues/67684">#67684</a> (it wasn't easy)  -- using both in tandem should be a good combination</p>



<a name="185061935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/rust%20minimizers/near/185061935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/rust.20minimizers.html#185061935">(Jan 07 2020 at 22:30)</a>:</h4>
<p>I do hope at some point to look into encoding the techniques from my blog post into transformations embedded in either C-Reduce or rust-reduce.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>